Anil Nerode: search on Z-Library

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (39)
Most Popular
List
- List
- Table

应用逻辑

机械工业出版社

Anil Nerode Richard A.Shore

Year:

2007

Language:

chinese

File:

PDF, 18.31 MB

0 / 0

chinese, 2007

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Year:

2018

Language:

english

File:

PDF, 7.00 MB

0 / 0

english, 2018

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Year:

2013

Language:

english

File:

PDF, 4.32 MB

0 / 0

english, 2013

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Year:

2016

Language:

english

File:

PDF, 8.83 MB

0 / 0

english, 2016

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Year:

2007

Language:

english

File:

PDF, 6.28 MB

0 / 0

english, 2007

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

The MIT Press

Luis Moniz Pereira, Anil Nerode

Year:

1993

Language:

english

File:

PDF, 21.91 MB

0 / 0

english, 1993

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)

Year:

1994

Language:

english

File:

DJVU, 3.17 MB

3.0 / 0

english, 1994

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Year:

2009

Language:

english

File:

PDF, 7.65 MB

0 / 0

english, 2009

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Year:

1995

Language:

english

File:

DJVU, 4.14 MB

0 / 0

english, 1995

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Year:

2007

Language:

english

File:

PDF, 8.34 MB

0 / 0

english, 2007

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Year:

1990

Language:

english

File:

DJVU, 1.01 MB

0 / 0

english, 1990

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

The MIT Press

Luís Moniz Pereira, Anil Nerode

Year:

1993

Language:

english

File:

DJVU, 8.09 MB

0 / 0

english, 1993

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Year:

1997

Language:

english

File:

DJVU, 4.97 MB

0 / 0

english, 1997

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Year:

1995

Language:

english

File:

DJVU, 6.46 MB

0 / 0

english, 1995

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Year:

1997

Language:

english

File:

PDF, 26.84 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Year:

1997

Language:

english

File:

DJVU, 4.27 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Year:

1997

Language:

english

File:

PDF, 8.76 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Year:

1997

Language:

english

File:

PDF, 92.79 MB

0 / 0

english, 1997

Automata Theory and its Applications

Birkhäuser Basel

Bakhadyr Khoussainov, Anil Nerode (auth.)

Year:

2001

Language:

english

File:

PDF, 8.76 MB

0 / 0

english, 2001

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Year:

1997

Language:

english

File:

DJVU, 4.65 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Year:

1993

Language:

english

File:

PDF, 10.27 MB

5.0 / 5.0

english, 1993

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode

Year:

2020

Language:

english

File:

PDF, 6.85 MB

0 / 0

english, 2020

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Springer

Sergei Artemov (editor), Anil Nerode (editor)

Year:

2021

Language:

english

File:

PDF, 6.51 MB

0 / 0

english, 2021

Logical Foundations of Computer Science, LFCS 2020

Springer

Sergei Artemov, Anil Nerode

Year:

2020

Language:

english

File:

PDF, 4.19 MB

0 / 0

english, 2020

Logic for Applications

Springer

Anil Nerode, Richard Shore

Year:

2012

Language:

english

File:

PDF, 92.75 MB

0 / 0

english, 2012

Combinatorial Functors

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.)

Year:

1974

Language:

english

File:

PDF, 4.27 MB

0 / 0

english, 1974

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Year:

2009

Language:

english

File:

PDF, 6.01 MB

0 / 0

english, 2009

Hybrid Systems V

Springer-Verlag Berlin Heidelberg

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Year:

1999

Language:

english

File:

PDF, 5.00 MB

0 / 0

english, 1999

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Year:

1997

Language:

english

File:

DJVU, 3.07 MB

0 / 0

english, 1997

Hybrid Systems

Springer-Verlag Berlin Heidelberg

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)

Year:

1993

Language:

english

File:

DJVU, 3.24 MB

0 / 0

english, 1993

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Year:

1992

Language:

english

File:

PDF, 8.42 MB

0 / 0

english, 1992

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Year:

1992

Language:

english

File:

DJVU, 4.90 MB

0 / 0

english, 1992

Hybrid Systems

Springer-Verlag Berlin Heidelberg

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Year:

1993

Language:

english

File:

PDF, 23.58 MB

0 / 0

english, 1993

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Year:

1995

Language:

english

File:

PDF, 6.63 MB

0 / 0

english, 1995

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)

Year:

1975

Language:

english

File:

PDF, 12.48 MB

0 / 0

english, 1975

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Year:

2023

Language:

english

File:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Year:

2023

Language:

english

File:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer Nature

Anil Nerode, Noam Greenberg

Year:

2023

Language:

english

File:

EPUB, 19.57 MB

0 / 0

english, 2023

Automata Theory and its Applications

Birkhäuser

Khoussainov, Bakhadyr, Nerode, Anil

Year:

2001

Language:

english

File:

PDF, 33.73 MB

0 / 0

english, 2001